Linear bounded automaton

welcome to shbcf.ru